Modal Logic of Some Products of Neighborhood Frames
نویسنده
چکیده
We consider modal logics of products of neighborhood frames and prove that for any pair L and L′ of logics from set {S4,D4,D,T} modal logic of products of Lneighborhood frames and L′-neighborhood frames is the fusion of L and L′.
منابع مشابه
Neighbourhood Frame Product KxK
We consider modal logics of products of neighborhood frames and find the modal logic of all products of normal neighborhood frames.
متن کاملFirst-Order Classical Modal Logic
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness...
متن کاملAGM Revision in Classical Modal Logics
AGM-style revision operators are defined for several systems of classical modal logic. · · · draft of November 28, 2009 · · · Within AGM, consistency maintenance is done by classical logic. But the reliance on classical consistency presents a problem for exporting AGM revision to non-classical logics in general, and to modal logic in particular. A general technique for solving this problem is t...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملTensor products of modal logics
Products were introduced in the 1970s as a natural type of combined modal logics. They arise in different areas of pure and applied logics — spatial reasoning, multi-agent systems, quantified modal and intuitionistic logics etc. The theory of products was systematized and essentially developed first in the paper [GS98] and then in the book [GKWZ03], but during the past 10 years new important re...
متن کامل